Squarefree Discriminant Gives an Integral Basis
Theorem
Let
The converse of this is not true, and thus cannot be used to exclude possible integral bases. See integral basis algorithm.
Proof
Let
where
However since
which implies that